#include <stdio.h>
extern int getFrameCount (char * buffer, long boxlen);
